Andrew Warren - PDFSEARCH.IO - Document Search Engine

Andrew Warren
Results: 52

#	Item
41	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
42	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
43	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra
44	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory
45	Associative arrays in C++ Andrew Koenig AT&T Bell Laboratories 184 Liberty Corner Road; Warren NJ 07060; [removed] ABSTRACT An associative array is a one-dimensional array of unbounded size whose subscripts can Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2009-05-10 11:11:24 Data types C++ Standard Library Associative arrays Associative containers Foreach loop Iterator Array data type Sequence container Pointer Computing Software engineering Computer programming
46	Andrew Donald Booth Born February[removed], East Molesy, Surrey, UK; early computer developer at the University of London who worked with John von Neumann; with Warren Weaver in 1946, first Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2013-04-17 13:19:03 APEXC Crystallography University of Pennsylvania Andrew Donald Booth Kathleen Booth John von Neumann ENIAC Computer Booth Classes of computers Science Computing
47	Atlantic Reports investing in change Add to Reading List Source URL: www.atlanticphilanthropies.org Language: English - Date: 2012-03-22 13:49:36 Atlantic Philanthropies Chuck Feeney Philanthropy Donor advised fund Bill Gates Warren Buffett Gara LaMarche Bill & Melinda Gates Foundation Andrew Carnegie United States Rockefeller Foundation Robber barons
48	Journal of Law, Economics, and Organization Advance Access published May 11, 2007 JLEO Add to Reading List Source URL: 169.229.248.216 Language: English - Date: 2013-11-06 19:35:29 State supreme courts Conservatism in the United States Supreme Court of the United States Andrew D. Martin Warren Court
49	This article was downloaded by: [Andrew, Alex M.] On: 22 January 2011 Access details: Access Details: [subscription number[removed]] Add to Reading List Source URL: wosc.co Language: English - Date: 2013-06-01 12:39:37 Knowledge Systems theory Systems Guggenheim Fellows Cybernetics Warren Sturgis McCulloch Neural network Jerome Lettvin Heinz von Foerster Science Systems scientists Systems science
50	NYS Board of Elections November 2, 2010 Governor Vote by Assembly District 1ST ASSEMBLY DISTRICT Add to Reading List Source URL: www.elections.ny.gov Language: English - Date: 2011-04-06 16:17:21 Jimmy McMillan Paladino Warren Redlich Carl Paladino New York gubernatorial election New York Kristin M. Davis Andrew Cuomo